81. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
82. Algol-like Languages
پدیدآورنده : edited by Peter W. O'Hearn, Robert D. Tennent.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.
83. <An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
84. An inductive logic programming approach to statistical relational learning
پدیدآورنده : / Kristian Kersting
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
رده :
QA76
.
63
.
K47
2006
85. An intensional implementation technique for functional languages
پدیدآورنده : Yaghi, Ali A. G.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : QA76 Electronic computers. Computer science. Computer software
86. An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: (طهران)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
87. An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
88. An introduction to machine learning /
پدیدآورنده : Miroslav Kubat.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
89. An introduction to programming using Alice 2.2 /
پدیدآورنده : by Charles W. Herbert.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.,Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.
رده :
QA76
.
64
.
H498
2011
90. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, R L
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، PL/CV2 )Computer program language(
رده :
QA
76
.
5
.
C6615
91. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
92. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: (طهران)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
93. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
94. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
95. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده : / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
96. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده : / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
97. Answer set programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ;
98. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
99. Answer set programming for continuous domains
پدیدآورنده : Jeroen Janssen ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy logic,Logic programming
رده :
QA76
.
63
.
A57
2012eb
100. Answer set programming for continuous domains
پدیدآورنده : Jeroen Janssen ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy logic,Logic programming
رده :
QA76
.
63
.
A57
2012eb
